Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
471	StatMODEL CHECKING JanCharlotte Wickham Add to Reading List Source URL: stat512.cwick.co.nz Language: English - Date: 2015-02-04 19:43:22 Econometrics Parametric statistics Confidence interval Measurement Economic model T-statistic Prediction interval R Statistics Statistical inference Regression analysis
472	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker    Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-10-28 22:42:02 Markov chain PRISM model checker Model checking Probability and statistics Model checkers Markov models Statistics
473	Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking
474	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
475	Version: , 18:24 Tuesday, October 7th Room: tba 18:00 Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2014-09-27 15:29:54 Business Knowledge Model checking Workflow Social vulnerability
476	Mcta: Heuristics and Search for Timed Systems Martin Wehrle1 and Sebastian Kupferschmid2 1 2 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Model checking Heuristic function Heuristic Algorithm Priority queue Automated planning and scheduling Search algorithm Mathematical optimization Applied mathematics Heuristics Operations research Theoretical computer science
477	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
478	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing
479	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
480	The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis Jakob Mund1? , Ralf Huuck2 , Ansgar Fehnker2,3 , and Cyrille Artho4 1 4 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:54:06 Software engineering Thread Parallel computing Deadlock Lock Java Pathfinder Critical section Model checking Mutual exclusion Concurrency control Computing Computer programming

UPDATE